Wyniki
-
Completeness of Floyd logic
Hajnal Andreka, Istvan Nemeti
Bulletin of the Section of Logic , 7 /3 (1978) s. 115-120 -
On universal algebraic logic and cylindric algebras
Hajnal Andreka, Istvan Nemeti
Bulletin of the Section of Logic , 7 /4 (1978) s. 152-158 -
Not all representable cylindric algebras are neat reducts
Hajnal Andreka, Istvan Nemeti
Bulletin of the Section of Logic , 8 /3 (1979) s. 145-147 -
Program verification within and without logic
Hajnal Andreka, Istvan Nemeti, Ildiko Sain
Bulletin of the Section of Logic , 8 /3 (1979) s. 124-129 -
Quasi equational logic of partial algebras
Hajnal Andreka, Peter Burmeister, Istvan Nemeti
Bulletin of the Section of Logic , 9 /4 (1980) s. 193-197 -
Decision problems for equational theories of relation algebras
Hajnal Andreka, Steven Givant, Istvan Nemeti
Bulletin of the Section of Logic , 23 /2 (1994) s. 47-52